[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 96 250 0 69 94 0 -1

N.S.

1 1.00 0.55 1.44 0.00 0.40 0.54 0.00 -0.01

time (sec)

N/A 0.075 10.087 0.103 0.000 0.228 4.152 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 80 379 0 55 92 0 -1

N.S.

1 1.00 0.27 1.27 0.00 0.18 0.31 0.00 -0.00

time (sec)

N/A 0.155 10.067 0.100 0.000 0.286 1.728 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 79 214 0 45 94 0 -1

N.S.

1 1.00 0.57 1.54 0.00 0.32 0.68 0.00 -0.01

time (sec)

N/A 0.058 10.044 0.112 0.000 0.321 1.291 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 82 378 0 58 97 0 -1

N.S.

1 1.00 0.28 1.30 0.00 0.20 0.33 0.00 -0.00

time (sec)

N/A 0.160 10.031 0.104 0.000 0.248 1.900 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 81 223 0 55 97 0 -1

N.S.

1 1.00 0.59 1.62 0.00 0.40 0.70 0.00 -0.01

time (sec)

N/A 0.060 10.051 0.123 0.000 0.240 4.796 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 82 417 0 74 104 0 -1

N.S.

1 1.00 0.24 1.22 0.00 0.22 0.30 0.00 -0.00

time (sec)

N/A 0.181 10.047 0.117 0.000 0.209 17.326 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 111 252 0 125 94 0 -1

N.S.

1 1.00 0.53 1.19 0.00 0.59 0.45 0.00 -0.00

time (sec)

N/A 0.095 10.114 0.141 0.000 0.334 180.204 0.000 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 84 391 0 109 94 0 -1

N.S.

1 1.00 0.25 1.16 0.00 0.32 0.28 0.00 -0.00

time (sec)

N/A 0.182 10.106 0.130 0.000 0.304 52.690 0.000 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 85 225 0 98 94 0 -1

N.S.

1 1.00 0.49 1.29 0.00 0.56 0.54 0.00 -0.01

time (sec)

N/A 0.077 10.103 0.118 0.000 0.305 12.584 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 76 382 0 98 94 0 -1

N.S.

1 1.00 0.25 1.27 0.00 0.33 0.31 0.00 -0.00

time (sec)

N/A 0.163 10.091 0.100 0.000 0.281 4.606 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 75 213 0 84 94 0 -1

N.S.

1 1.00 0.52 1.48 0.00 0.58 0.65 0.00 -0.01

time (sec)

N/A 0.061 10.044 0.101 0.000 0.268 5.149 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 77 386 0 109 97 0 -1

N.S.

1 1.00 0.23 1.16 0.00 0.33 0.29 0.00 -0.00

time (sec)

N/A 0.176 10.031 0.127 0.000 0.396 9.399 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 91 232 0 109 97 0 -1

N.S.

1 1.00 0.52 1.32 0.00 0.62 0.55 0.00 -0.01

time (sec)

N/A 0.079 10.054 0.128 0.000 0.165 22.650 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 78 417 0 132 104 0 -1

N.S.

1 1.00 0.21 1.10 0.00 0.35 0.27 0.00 -0.00

time (sec)

N/A 0.212 10.044 0.136 0.000 0.258 63.729 0.000 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 116 439 0 156 0 0 -1

N.S.

1 1.00 0.56 2.11 0.00 0.75 0.00 0.00 -0.00

time (sec)

N/A 0.093 10.135 0.164 0.000 0.332 0.000 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 97 767 0 160 94 0 -1

N.S.

1 1.00 0.28 2.20 0.00 0.46 0.27 0.00 -0.00

time (sec)

N/A 0.186 10.110 0.116 0.000 0.266 190.727 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 105 429 0 144 94 0 -1

N.S.

1 1.00 0.57 2.32 0.00 0.78 0.51 0.00 -0.01

time (sec)

N/A 0.081 10.136 0.117 0.000 0.263 60.391 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 84 764 0 153 94 0 -1

N.S.

1 1.00 0.24 2.22 0.00 0.44 0.27 0.00 -0.00

time (sec)

N/A 0.183 10.092 0.122 0.000 0.228 24.315 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 108 425 0 144 94 0 -1

N.S.

1 1.00 0.58 2.27 0.00 0.77 0.50 0.00 -0.01

time (sec)

N/A 0.078 10.069 0.115 0.000 0.185 42.553 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 86 771 0 167 97 0 -1

N.S.

1 1.00 0.23 2.05 0.00 0.44 0.26 0.00 -0.00

time (sec)

N/A 0.211 10.056 0.153 0.000 0.276 79.602 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 120 446 0 163 97 0 -1

N.S.

1 1.00 0.56 2.09 0.00 0.77 0.46 0.00 -0.00

time (sec)

N/A 0.100 10.078 0.144 0.000 0.405 148.757 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 225 448 0 160 150 0 -1

N.S.

1 1.00 0.78 1.56 0.00 0.56 0.52 0.00 -0.00

time (sec)

N/A 0.210 20.250 0.139 0.000 0.374 12.454 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

425 425 145 658 0 134 148 0 -1

N.S.

1 1.00 0.34 1.55 0.00 0.32 0.35 0.00 -0.00

time (sec)

N/A 0.299 20.120 0.123 0.000 0.261 3.092 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 189 401 0 119 150 0 -1

N.S.

1 1.00 0.77 1.64 0.00 0.49 0.61 0.00 -0.00

time (sec)

N/A 0.142 10.160 0.112 0.000 0.274 3.461 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 129 624 0 108 153 0 -1

N.S.

1 1.00 0.31 1.48 0.00 0.26 0.36 0.00 -0.00

time (sec)

N/A 0.274 20.102 0.115 0.000 0.271 3.683 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 171 383 0 103 153 0 -1

N.S.

1 1.00 0.73 1.64 0.00 0.44 0.65 0.00 -0.00

time (sec)

N/A 0.135 10.144 0.117 0.000 0.363 5.907 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 125 648 0 110 160 0 -1

N.S.

1 1.00 0.30 1.54 0.00 0.26 0.38 0.00 -0.00

time (sec)

N/A 0.275 20.099 0.124 0.000 0.387 18.354 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 210 160 385 0 102 144 0 -1

N.S.

1 0.99 0.75 1.81 0.00 0.48 0.68 0.00 -0.00

time (sec)

N/A 0.115 10.156 0.134 0.000 0.344 12.676 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

386 383 148 659 0 126 151 0 -1

N.S.

1 0.99 0.38 1.71 0.00 0.33 0.39 0.00 -0.00

time (sec)

N/A 0.222 20.123 0.131 0.000 0.288 35.297 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 213 187 403 0 118 151 0 -1

N.S.

1 0.98 0.86 1.86 0.00 0.54 0.70 0.00 -0.00

time (sec)

N/A 0.130 10.138 0.129 0.000 0.313 92.678 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 437 182 706 0 164 0 0 -1

N.S.

1 0.99 0.41 1.60 0.00 0.37 0.00 0.00 -0.00

time (sec)

N/A 0.270 20.159 0.132 0.000 0.310 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

530 530 210 743 0 210 306 0 -1

N.S.

1 1.00 0.40 1.40 0.00 0.40 0.58 0.00 -0.00

time (sec)

N/A 0.384 20.158 0.115 0.000 0.479 99.077 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 259 489 0 199 306 0 -1

N.S.

1 1.00 0.76 1.44 0.00 0.59 0.90 0.00 -0.00

time (sec)

N/A 0.222 10.206 0.113 0.000 0.301 32.515 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

482 482 179 699 0 173 304 0 -1

N.S.

1 1.00 0.37 1.45 0.00 0.36 0.63 0.00 -0.00

time (sec)

N/A 0.329 20.132 0.111 0.000 0.354 7.093 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 223 444 0 157 306 0 -1

N.S.

1 1.00 0.78 1.55 0.00 0.55 1.07 0.00 -0.00

time (sec)

N/A 0.178 10.189 0.112 0.000 0.301 9.835 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

476 476 161 669 0 146 309 0 -1

N.S.

1 1.00 0.34 1.41 0.00 0.31 0.65 0.00 -0.00

time (sec)

N/A 0.319 20.134 0.115 0.000 0.320 10.153 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 202 415 0 141 309 0 -1

N.S.

1 1.00 0.70 1.44 0.00 0.49 1.07 0.00 -0.00

time (sec)

N/A 0.168 10.177 0.126 0.000 0.284 13.522 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

468 468 141 668 0 130 320 0 -1

N.S.

1 1.00 0.30 1.43 0.00 0.28 0.68 0.00 -0.00

time (sec)

N/A 0.315 20.126 0.131 0.000 0.310 32.505 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

430 430 143 661 0 133 144 0 -1

N.S.

1 1.00 0.33 1.54 0.00 0.31 0.33 0.00 -0.00

time (sec)

N/A 0.279 20.116 0.109 0.000 0.293 31.377 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 190 405 0 122 144 0 -1

N.S.

1 1.00 0.79 1.69 0.00 0.51 0.60 0.00 -0.00

time (sec)

N/A 0.147 10.186 0.105 0.000 0.200 9.234 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

375 375 111 604 0 99 143 0 -1

N.S.

1 1.00 0.30 1.61 0.00 0.26 0.38 0.00 -0.00

time (sec)

N/A 0.246 20.107 0.111 0.000 0.257 2.692 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 148 350 0 83 144 0 -1

N.S.

1 1.00 0.77 1.81 0.00 0.43 0.75 0.00 -0.01

time (sec)

N/A 0.108 10.203 0.105 0.000 0.270 2.677 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 115 595 0 90 148 0 -1

N.S.

1 1.00 0.31 1.60 0.00 0.24 0.40 0.00 -0.00

time (sec)

N/A 0.231 20.112 0.115 0.000 0.397 2.983 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 165 352 0 83 148 0 -1

N.S.

1 1.00 0.90 1.91 0.00 0.45 0.80 0.00 -0.01

time (sec)

N/A 0.097 10.124 0.116 0.000 0.248 6.950 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 116 626 0 100 155 0 -1

N.S.

1 1.00 0.30 1.62 0.00 0.26 0.40 0.00 -0.00

time (sec)

N/A 0.236 20.106 0.135 0.000 0.288 26.835 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 159 370 0 94 155 0 -1

N.S.

1 1.00 0.82 1.92 0.00 0.49 0.80 0.00 -0.01

time (sec)

N/A 0.113 10.152 0.131 0.000 0.264 90.593 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 155 667 0 128 0 0 -1

N.S.

1 1.00 0.35 1.52 0.00 0.29 0.00 0.00 -0.00

time (sec)

N/A 0.291 10.154 0.136 0.000 0.481 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 196 411 0 119 0 0 -1

N.S.

1 1.00 0.81 1.70 0.00 0.49 0.00 0.00 -0.00

time (sec)

N/A 0.155 10.184 0.131 0.000 0.256 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 226 407 0 206 0 0 -1

N.S.

1 1.00 0.76 1.38 0.00 0.70 0.00 0.00 -0.00

time (sec)

N/A 0.172 10.186 0.161 0.000 0.318 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 133 618 0 177 0 0 -1

N.S.

1 1.00 0.31 1.42 0.00 0.41 0.00 0.00 -0.00

time (sec)

N/A 0.271 20.132 0.151 0.000 0.287 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 191 363 0 163 0 0 -1

N.S.

1 1.00 0.78 1.48 0.00 0.67 0.00 0.00 -0.00

time (sec)

N/A 0.138 10.162 0.148 0.000 0.255 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

384 384 119 597 0 156 0 0 -1

N.S.

1 1.00 0.31 1.55 0.00 0.41 0.00 0.00 -0.00

time (sec)

N/A 0.226 20.108 0.137 0.000 0.238 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 174 341 0 144 0 0 -1

N.S.

1 1.00 0.90 1.77 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.103 10.123 0.150 0.000 0.327 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 126 594 0 158 0 0 -1

N.S.

1 1.00 0.32 1.51 0.00 0.40 0.00 0.00 -0.00

time (sec)

N/A 0.243 10.105 0.145 0.000 0.264 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 181 353 0 156 0 0 -1

N.S.

1 1.00 0.87 1.71 0.00 0.75 0.00 0.00 -0.00

time (sec)

N/A 0.122 10.162 0.151 0.000 0.189 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

434 434 141 638 0 186 0 0 -1

N.S.

1 1.00 0.32 1.47 0.00 0.43 0.00 0.00 -0.00

time (sec)

N/A 0.299 10.106 0.157 0.000 0.293 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 222 696 0 249 0 0 -1

N.S.

1 1.00 0.74 2.30 0.00 0.82 0.00 0.00 -0.00

time (sec)

N/A 0.163 10.223 0.191 0.000 0.266 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

442 442 153 1191 0 242 0 0 -1

N.S.

1 1.00 0.35 2.69 0.00 0.55 0.00 0.00 -0.00

time (sec)

N/A 0.271 20.157 0.178 0.000 0.378 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 204 674 0 229 0 0 -1

N.S.

1 1.00 0.82 2.72 0.00 0.92 0.00 0.00 -0.00

time (sec)

N/A 0.132 10.199 0.166 0.000 0.340 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

403 403 147 1176 0 232 0 0 -1

N.S.

1 1.00 0.36 2.92 0.00 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.231 20.155 0.126 0.000 0.253 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 169 660 0 218 0 0 -1

N.S.

1 1.00 0.79 3.10 0.00 1.02 0.00 0.00 -0.00

time (sec)

N/A 0.114 10.215 0.132 0.000 0.212 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

442 442 161 1187 0 244 0 0 -1

N.S.

1 1.00 0.36 2.69 0.00 0.55 0.00 0.00 -0.00

time (sec)

N/A 0.298 10.128 0.174 0.000 0.262 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 211 686 0 238 0 0 -1

N.S.

1 1.00 0.82 2.66 0.00 0.92 0.00 0.00 -0.00

time (sec)

N/A 0.159 10.221 0.170 0.000 0.276 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

489 489 181 1231 0 273 0 0 -1

N.S.

1 1.00 0.37 2.52 0.00 0.56 0.00 0.00 -0.00

time (sec)

N/A 0.330 10.157 0.176 0.000 0.369 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 187 1468 0 0 0 0 -1

N.S.

1 1.00 0.50 3.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.544 10.183 0.221 0.000 0.000 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

414 414 143 1480 0 0 0 0 -1

N.S.

1 1.00 0.35 3.57 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.552 10.133 0.174 0.000 0.000 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 143 1275 0 0 0 0 -1

N.S.

1 1.00 0.45 4.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.354 10.112 0.148 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 69 690 0 0 0 0 -1

N.S.

1 1.00 0.19 1.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.362 10.032 0.132 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 67 640 0 0 0 0 -1

N.S.

1 1.00 0.24 2.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.255 10.032 0.122 0.000 0.000 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

392 392 143 1263 0 0 0 0 -1

N.S.

1 1.00 0.36 3.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.508 10.099 0.126 0.000 0.000 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

308 308 146 1156 0 0 0 0 -1

N.S.

1 1.00 0.47 3.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 10.120 0.130 0.000 0.000 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

457 457 190 1542 0 0 0 0 -1

N.S.

1 1.00 0.42 3.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.692 10.169 0.127 0.000 0.000 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

485 485 183 2172 0 0 0 0 -1

N.S.

1 1.00 0.38 4.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.753 10.174 0.156 0.000 0.000 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 182 1909 0 0 0 0 -1

N.S.

1 1.00 0.49 5.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.524 10.171 0.144 0.000 0.000 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 155 1916 0 0 0 0 -1

N.S.

1 1.00 0.37 4.55 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.572 10.181 0.152 0.000 0.000 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 153 1710 0 0 0 0 -1

N.S.

1 1.00 0.47 5.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.381 10.129 0.142 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 151 1747 0 0 0 0 -1

N.S.

1 1.00 0.36 4.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.555 10.112 0.137 0.000 0.000 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 153 1729 0 0 0 0 -1

N.S.

1 1.00 0.46 5.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.410 10.129 0.120 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 187 2017 0 0 0 0 -1

N.S.

1 1.00 0.41 4.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.731 10.185 0.136 0.000 0.000 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

305 305 147 842 0 0 0 0 -1

N.S.

1 1.00 0.48 2.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.339 10.108 0.136 0.000 0.000 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 70 459 0 0 0 0 -1

N.S.

1 1.00 0.20 1.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.341 10.053 0.117 0.000 0.000 0.000 0.000 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 70 406 0 0 0 0 -1

N.S.

1 1.00 0.27 1.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.246 10.054 0.118 0.000 0.000 0.000 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 70 326 0 0 0 0 -1

N.S.

1 1.00 0.34 1.61 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.183 10.042 0.117 0.000 0.000 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 68 335 0 0 0 0 -1

N.S.

1 1.00 0.36 1.78 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.174 10.041 0.120 0.000 0.000 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 146 826 0 0 0 0 -1

N.S.

1 1.00 0.39 2.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.470 10.109 0.120 0.000 0.000 0.000 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 148 729 0 0 0 0 -1

N.S.

1 1.00 0.50 2.45 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.313 10.117 0.128 0.000 0.000 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 444 188 1098 0 0 0 0 -1

N.S.

1 1.00 0.42 2.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.636 10.171 0.128 0.000 0.000 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 444 148 1030 0 0 0 0 -1

N.S.

1 1.00 0.33 2.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.556 10.150 0.129 0.000 0.000 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

338 338 148 815 0 0 0 0 -1

N.S.

1 1.00 0.44 2.41 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.367 10.118 0.128 0.000 0.000 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

414 414 133 828 0 0 0 0 -1

N.S.

1 1.00 0.32 2.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.494 10.109 0.126 0.000 0.000 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 133 693 0 0 0 0 -1

N.S.

1 1.00 0.42 2.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.298 10.089 0.135 0.000 0.000 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 148 819 0 0 0 0 -1

N.S.

1 1.00 0.35 1.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.516 10.156 0.128 0.000 0.000 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 147 697 0 0 0 0 -1

N.S.

1 1.00 0.45 2.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.334 10.116 0.131 0.000 0.000 0.000 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

493 493 198 1047 0 0 0 0 -1

N.S.

1 1.00 0.40 2.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.695 10.187 0.129 0.000 0.000 0.000 0.000 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 197 885 0 0 0 0 -1

N.S.

1 1.00 0.50 2.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.541 10.184 0.141 0.000 0.000 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 184 2549 0 0 0 0 -1

N.S.

1 1.00 0.51 7.04 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.462 10.171 0.186 0.000 0.000 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

413 413 163 2530 0 0 0 0 -1

N.S.

1 1.00 0.39 6.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.499 10.135 0.125 0.000 0.000 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 163 2243 0 0 0 0 -1

N.S.

1 1.00 0.50 6.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.323 10.127 0.131 0.000 0.000 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 163 2522 0 0 0 0 -1

N.S.

1 1.00 0.39 6.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.496 10.110 0.128 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 161 2239 0 0 0 0 -1

N.S.

1 1.00 0.48 6.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.316 10.099 0.128 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]